MinCamlをM1 Macへ移植した話(OCaml靖幸編)
#書きかけ #OCaml #CPU実験 #MinCaml #AppleSilicon
MinCamlをM1 Macへ移植した話(OCaml靖幸編)
MinCamlとは?
OCamlで書かれた「OCamlサブセット言語」のコンパイラ
コンパイラのエッセンスがコンパクトにまとまっている
東大のコンパイラの授業やCPU実験などで利用されている
MinCamlをM1 Macへ移植するにあたり学習したこと
OCamlプログラミング
AArch64アセンブリプログラミング
MinCamlの内部実装
OCamlプログラミング
OCamlで書かれたMinCamlを読むまでに以下のことを行いました
プログラミングの基礎 でOCamlに入門
最後までやったよ
OCamlでもできるRISC-Vシミュレータの作り方
OCamlの練習がてら、Rubyで書いたRISC-VシミュレータをOCamlへ移植
計算機科学実験及演習3(ソフトウェア)
https://kuis-isle3sw.github.io/kuis-isle3sw-portal/
レポート1(OCaml入門)とレポート2(インタプリタ作成実験)まで
レポート3はやらなかった
参考にしたサイト
The OCaml API
https://v2.ocaml.org/api/index.html
OCamlの標準ライブラリの使い方を調べるのに利用する。他にもいくつかあるけど、ここが一番見やすい
OCaml Style Guide
http://www.cs.cornell.edu/courses/cs3110/2011sp/Handouts/style.htm
OCaml Programming Guidelines
https://ocaml.org/docs/guidelines
AArch64アセンブリプログラミング
MinCamlの内部実装
(書きかけ)